Abstract State Machines, B and Z [Risorsa elettronica] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540876038 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009257220403321 |
Berlin ; Heidelberg : Springer, 2008 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Animal cell culture and technology / Michael Butler |
Autore | Butler, Michael |
Edizione | [2nd ed.] |
Pubbl/distr/stampa | London ; New York : BIOS Scientific Publishers, 2004 |
Descrizione fisica | xii, 244 p. : ill. ; 25 cm |
Disciplina | 660.65 |
Collana | The basics |
Soggetto topico |
Animal cell biotechnology
Cell Culture - Methods Cytological Techniques Genetic Engineering - Methods Stem Cells - Cytology |
ISBN | 1859960499 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991003053849707536 |
Butler, Michael | ||
London ; New York : BIOS Scientific Publishers, 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Formal Methods and Software Engineering [Risorsa elettronica] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings / edited by Michael Butler, Michael G. Hinchey, Mar |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540766506 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009247450403321 |
Berlin ; Heidelberg : Springer, 2007 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Integrated formal methods : Third International conference, IFM 2002 : Turku, Finland, May 15-18, 2002 : procedings / Michael Butler... <et al.> (eds.) |
Autore | International conference, IFM <3.; 2002 ; Turku, Finland> |
Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 2002 |
Descrizione fisica | X, 339 p. : ill. ; 20 cm. |
Disciplina | 004 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Elaboratori elettroniciCongressi2002
SoftwareCongressi2002 |
ISBN | 3-540-43703-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990001115770203316 |
International conference, IFM <3.; 2002 ; Turku, Finland> | ||
Berlin : Springer-Verlag, copyr. 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Integrated Formal Methods [Risorsa elettronica] : Third International Conference, IFM 2002 Turku, Finland, May 1518, 2002 Proceedings / edited by Michael Butler, Luigia Petre, Kaisa Sere |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540478843 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009241800403321 |
Berlin ; Heidelberg : Springer, 2006 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Methods, Models and Tools for Fault Tolerance [Risorsa elettronica] / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783642008672 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009259760403321 |
Berlin ; Heidelberg : Springer, 2009 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Rigorous Development of Complex Fault-Tolerant Systems [Risorsa elettronica] / edited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540482673 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009249610403321 |
Berlin ; Heidelberg : Springer, 2006 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|